what is a writ of mandamus example